complicate program proof
复杂性程序证明
热门查询
- equivalency n. 等价；相等（等于equivalence）
- building site n. 建筑工地 [网络] 建筑地盘；建筑用地；建筑点
- bala n. 巴拉（姓氏）
- scleroderma n. [内科] 硬皮病
- problems n. [数] 问题；难题（problem的复数）
- Fowey n. 安东尼·休伊什
- bender n. 饮酒作乐；扭弯物体的人；六便士银币 n. (Bender)人名；(英)本德；(西、罗、土、德、塞、波、荷、芬、瑞典、匈)本德尔
- pardonable adj. 难怪的；可原谅的
- judged v. 裁决；审理（judge的过去分词） adj. 判断的
- automatism n. 自动作用；[医] 自动症；自动性
- irresolution n. 优柔寡断；犹豫不决
- unsustainability 不可持续性
- pernicious adj. 有害的；恶性的；致命的；险恶的
- Merritt 梅里特（姓氏，男子名）
- breadwinner n. 负担家计的人；养家糊口的人
- potentilla 委陵菜属
- Quai n. <法>码头
- lineout n. 列队争球
- after-school adj. 课后的，课外的
- elise n. 伊莉斯（女子名）
考试词汇表
- over oxidized heat
- over pressure test
- over riding clutch
- over smokeed sheet
- over step the mark
- over the course of
- over the long haul
- over the road tire
- over the road tyre
- over the telephone
- over voltage relay
- over vulcanization
- over writing noise
- over-advocacy trap
- over-all structure
- over-all variation
- over-amplification
- over-approximation
- over-center device
- over-communication
